unitarily diagonalizable

join shbcf.ru